51![Journal of Automated Reasoning manuscript No. DOIs10817Interpolation Systems for Ground Proofs in Automated Deduction: a Survey Maria Paola Bonacina · Moa Johansson Journal of Automated Reasoning manuscript No. DOIs10817Interpolation Systems for Ground Proofs in Automated Deduction: a Survey Maria Paola Bonacina · Moa Johansson](https://www.pdfsearch.io/img/e8b4185bc270213efdd0693cf4a96cee.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2015-03-16 05:12:39
|
---|
52![Specialising the Ground Representation in the Logic Programming Language G¨odel. C.A.Gurr∗ University of Edinburgh Abstract Specialising the Ground Representation in the Logic Programming Language G¨odel. C.A.Gurr∗ University of Edinburgh Abstract](https://www.pdfsearch.io/img/05c33d936b3b0f7d583588e30be69568.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2010-10-22 08:05:11
|
---|
53![1 Duplication-Correcting Codes for Data Storage in the DNA of Living Organisms Siddharth Jain, Farzad Farnoud (Hassanzadeh), Member, IEEE, Moshe Schwartz, Senior Member, IEEE, Jehoshua Bruck, Fellow, IEEE 1 Duplication-Correcting Codes for Data Storage in the DNA of Living Organisms Siddharth Jain, Farzad Farnoud (Hassanzadeh), Member, IEEE, Moshe Schwartz, Senior Member, IEEE, Jehoshua Bruck, Fellow, IEEE](https://www.pdfsearch.io/img/8d94d381bfc1d557cf9b90240bf9aa00.jpg) | Add to Reading ListSource URL: www.paradise.caltech.eduLanguage: English - Date: 2016-06-01 05:46:52
|
---|
54![A Program Logic for Verifying Secure Routing Protocols Chen Chen1 , Limin Jia2 , Hao Xu1 , Cheng Luo1 , Wenchao Zhou3 , and Boon Thau Loo1 1 A Program Logic for Verifying Secure Routing Protocols Chen Chen1 , Limin Jia2 , Hao Xu1 , Cheng Luo1 , Wenchao Zhou3 , and Boon Thau Loo1 1](https://www.pdfsearch.io/img/5a09924cc9ce025f5297bc0ba0b72778.jpg) | Add to Reading ListSource URL: www.andrew.cmu.eduLanguage: English - Date: 2016-01-24 20:37:43
|
---|
55![Unifying Refinement and Hoare-Style Reasoning in a Logic for Higher-Order Concurrency Aaron Turon Derek Dreyer Unifying Refinement and Hoare-Style Reasoning in a Logic for Higher-Order Concurrency Aaron Turon Derek Dreyer](https://www.pdfsearch.io/img/0fa44c1cd5b1128ef00171589c34f248.jpg) | Add to Reading ListSource URL: www.mpi-sws.orgLanguage: English - Date: 2013-07-22 04:30:15
|
---|
56![Proceedings of the 6th International Workshop on the Implementation of Logics Christoph Benzm¨ uller, Bernd Fischer, Geoff Sutcliffe Proceedings of the 6th International Workshop on the Implementation of Logics Christoph Benzm¨ uller, Bernd Fischer, Geoff Sutcliffe](https://www.pdfsearch.io/img/f7996c3aab01c6a73b68b4736b183b5d.jpg) | Add to Reading ListSource URL: www.cs.miami.eduLanguage: English - Date: 2006-11-07 08:18:44
|
---|
57![Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription Mikol´ aˇs Janota1 , Radu Grigore2, and Joao Marques-Silva3 1 Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription Mikol´ aˇs Janota1 , Radu Grigore2, and Joao Marques-Silva3 1](https://www.pdfsearch.io/img/6fdbd8178e3fc404fac58ed211ba4b10.jpg) | Add to Reading ListSource URL: www.mancoosi.orgLanguage: English - Date: 2012-12-16 04:54:55
|
---|
58![Learning and Exploration in Automated Theorem Proving Moa Johansson Chalmers University of Technology Abstract This note describes a new project with the purpose of combining the advantages of statistical machine learnin Learning and Exploration in Automated Theorem Proving Moa Johansson Chalmers University of Technology Abstract This note describes a new project with the purpose of combining the advantages of statistical machine learnin](https://www.pdfsearch.io/img/75449615d8f668b3c8c51b4ba86d4057.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2015-08-18 04:15:56
|
---|
59![LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United Kingdom LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United Kingdom](https://www.pdfsearch.io/img/2963b0c1fda1ff47118432bd0846c07f.jpg) | Add to Reading ListSource URL: people.mpi-inf.mpg.deLanguage: English - Date: 2015-01-25 16:18:54
|
---|